Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·3h·
Discuss: Hacker News
🔠Type-Level Programming
Bayesian scaling laws for in-context learning
arxiv.org·3h
🧩Parser Combinators
LLM-JEPA: Large Language Models Meet Joint Embedding Predictive Architectures
arxiviq.substack.com·21h·
Discuss: Substack
🧩Parser Combinators
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·12h
🧠Automated Reasoning
Synthetic bootstrapped pretraining
arxiv.org·1d
🤖Program Synthesis
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Creating a database of motivated proofs
gowers.wordpress.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·3h
🧮Lambda Calculus
Will We Know Artificial General Intelligence When We See It?
spectrum.ieee.org·18h·
Discuss: Hacker News, r/technews
✓Automated Theorem Proving
A Vision-Language-Action-Critic Model for Robotic Real-World Reinforcement Learning
arxiv.org·1d
🩹Self-Healing Systems
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·13h·
Discuss: Hacker News
🐫Embedded OCaml
Identity Types
bartoszmilewski.com·18h·
Discuss: Hacker News
🧮Lambda Calculus
Learned Structures
nonint.com·1d·
Discuss: Hacker News
➡️Category Theory
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·1d
🛡️seL4
Behavioral Validity Checks for ML‑Based "Coding"
gojiberries.io·2h·
Discuss: Hacker News
🔬Static Analysis
The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·1h·
Discuss: Hacker News
🔬Static Analysis
Latent Zoning Network: A Unified Principle for Generative Modeling, Representation Learning, and Classification
arxiv.org·1d
📐Denotational Semantics
Static Compressed Prefix Tree in Array
github.com·17h·
Discuss: r/programming
🐫Embedded OCaml